Theorem proving in higher order logics
- Författare
- J. (John) Harrison Jim Grundy Joakim von Wright International Conference on Theorem Proving in Higher Order Logics 1996) Åbo :
- (9th International conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings J. von Wright, J. Grundy, J. Harrison (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1996 | Tyskland, Berlin, New York | 446 sidor. tab. |